1. A Concise Introduction to Mathematical Logic

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.

2. <A> Concise introduction to pure mathematics

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات

رده :
QA9
.
L478
2016
E-book
,

3. A Course in Model Theory :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Mathematics.,Logic, Symbolic and mathematical.,Mathematics.

رده :
QA8
.
9-10
.
3

4. A Course on Mathematical Logi

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

5. <A> First Course in Mathematical Logic and Set Theory

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05

رده :
QA
9
.
O4F5
2016
E-Book
,

6. A Mathematical Structure for Emergent Computation

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.

7. A first course in logic /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.

رده :
QA9
.
L37256
2018eb

8. A first course in mathematical logic and set theory /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory

رده :
QA9

9. A first journey through logic /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik

رده :
QA9
.
H52445
2019

10. A primer of formal logic

المؤلف:

المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع: Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy

11. A profile of mathematical logic.

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.

رده :
QA9
.
D37

12. A readable introduction to real mathematics

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

13. Advanced mathematics :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.

رده :
QA37
.
3

14. Advanced mathematics :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;

15. Alan Turing :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
C65
2013

16. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

17. An Invitation to Abstract Mathematic

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Mathematics,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

18. An introduction to Mathematical thought. Reding, Mass

المؤلف:

المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)

موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical

رده :
QA
9
.
S67

19. An introduction to mathematical reasoning

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics

رده :
QA
9
.
I36I5

20. An introduction to mathematical thought

المؤلف:

المکتبة: (طهران)

موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical

رده :
QA
9
.
S67
1953